Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

This work extend to residuated lattices the results of [ 7 ]. It also provides a possible generalization to this context of frontal operators in the sense of [ 9 ]. Let L be a residuated lattice, and f : L k → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L . We use this characterization of compatible functions in order to prove that the variety of (...) residuated lattices is locally affine complete. We study some compatible functions on residuated lattices which are a generalization of frontal operators. We also give conditions for two operations P ( x , y ) and Q ( x , y ) on a residuated lattice L which imply that the function $${x \mapsto min\{y \in L : P(x, y) \leq Q(x, y)\}}$$ when defined, is equational and compatible. Finally we discuss the affine completeness of residuated lattices equipped with some additional operators. (shrink)

This work extend to residuated lattices the results of [7]. It also provides a possible generalization to this context of frontal operators in the sense of [9].Let L be a residuated lattice, and f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of residuated lattices is locally affine complete.We study (...) some compatible functions on residuated lattices which are a generalization of frontal operators. We also give conditions for two operations P(x, y) and Q(x, y) on a residuated lattice L which imply that the function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${x \mapsto min\{y \in L : P(x, y) \leq Q(x, y)\}}$$\end{document} when defined, is equational and compatible. Finally we discuss the affine completeness of residuated lattices equipped with some additional operators. (shrink)

In this paper we propose a tableaux method for the intermediate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic.

Con la noción de complementariedad Bohr pretendía expresar el dualismo existente entre descripciones necesarias y excluyentes. Derivó dicha noción del postulado cuántico y la aplicó a la doble naturaleza de la luz y a la relación entre la descripción causal y la espacio-temporal. Pero Bohr no sólo aplicó la noción de complementariedad al dominio de la Física sino que la extendió a otros dominios, como la Psicología, la Biología y la Antropología.

Among the various testimonia assembled by Iwakuma and Ebbesen to the twelfth-century school of philosophers known as the Nominales,Iwakuma Yukio and Sten Ebbesen, “Logico -Theological Schools from the Secon d Half of the 12th Century: A List of Sources,” Vivarium XXX (1992):173–210. four record their commitment to the apparently outrageous thesis that nothing grows. My aim in this essay is to explore the reasons the Nominale s had for maintaining this thesis and to investigate the role that the theory which (...) supported it played in the development of late twelfth- and early thirteenth-century debates over the character of the hypostatic union. My investigation concerns onl y one aspect of twelfth-century NominalismSince this group were apparently the first ever to be called ‘nominalists’ I think that we may justifiably capitalize the name of the theory to indicate that we are referring to their version of it. but once this part of their system is understood, we will be better able to characterise the whole and the way in which the views of the Nominales conflicted with those of their opponents. S o long as the testimonia remain few and rather slight such a reconstruction offers our only hope for finding the Nominales and their influence where their name has not been recorded. (shrink)

Among the various testimonia assembled by Iwakuma and Ebbesen to the twelfth-century school of philosophers known as the Nominales,Iwakuma Yukio and Sten Ebbesen, “Logico -Theological Schools from the Secon d Half of the 12th Century: A List of Sources,” Vivarium XXX (1992):173–210. four record their commitment to the apparently outrageous thesis that nothing grows. My aim in this essay is to explore the reasons the Nominale s had for maintaining this thesis and to investigate the role that the theory which (...) supported it played in the development of late twelfth- and early thirteenth-century debates over the character of the hypostatic union. My investigation concerns onl y one aspect of twelfth-century NominalismSince this group were apparently the first ever to be called ‘nominalists’ I think that we may justifiably capitalize the name of the theory to indicate that we are referring to their version of it. but once this part of their system is understood, we will be better able to characterise the whole and the way in which the views of the Nominales conflicted with those of their opponents. S o long as the testimonia remain few and rather slight such a reconstruction offers our only hope for finding the Nominales and their influence where their name has not been recorded. (shrink)

In this contribution we suggest two simple contentions: i) that Saint Anselm’s ontological argument, as presented in the Proslogion, only makes sense if embedded in an ordered and bounded ontology; and ii) that an interpretation of the main premise of the argument, within such ontology, produces a dilemma that demands a new revision of the argument.

Q: If necessity is the mother of invention, whence necessity? A. : The matrix of necessity in God-talk is religious experience, philosophically interpreted. The interpreters, theists and non-thesists, have indeed been inventive.

The content of dreams and changes to the self were investigated in students moving to University. In study 1, 20 participants completed dream diaries and memory tasks before and after they had left home and moved to university, and generated self images, “I am…” statements , reflective of their current self. Changes in “I ams” were observed, indicating a newly-formed ‘university’ self. These self, images and related autobiographical knowledge were found to be incorporated into recent dreams but not into dreams (...) from other periods. Study 2 replicated these findings in a different sample . We suggest that these data reflect a period of self-consolidation in which new experiences and self images are incorporated into autobiographical memory knowledge structures representing personal goals during sleep. (shrink)

In the current world of education, politics and public opinion, musical experience is increasingly threatened. It is designated ever more as an expendable luxury. This kind of general trend has hardly left the thinking in the field of music and music education untouched. Inspiration comes from the technical rationality of our time. This rationality affects an oblivion of ontology. In this article we discuss this trend related to Martin Heidegger’s thinking concerning the human existence in the world, artworks and notions (...) like “being” (Sein) and “oblivion-of-being” (Seinsvergessenheit). We think that it is possible to see this “oblivion-of-being” in relation to the trend in cultural and educational politics as well as in music educational thinking to focus on the instrumental usefulness of learning music. (shrink)

Microtubules are protein cylinders with functions in cell motility, signal sensing, cell organization, intracellular transport, and chromosome segregation. One of the key properties of microtubules is their dynamic architecture, allowing them to grow and shrink in length by adding or removing copies of their basic subunit, the heterodimer αβ‐tubulin. In higher eukaryotes, de novo assembly of microtubules from αβ‐tubulin is initiated by a 2 MDa multi‐subunit complex, the gamma‐tubulin ring complex (γ‐TuRC). For many years, the structure of the γ‐TuRC and (...) the function of its subunits remained enigmatic, although structural data from the much simpler yeast counterpart, the γ‐tubulin small complex (γ‐TuSC), were available. Two recent breakthroughs in the field, high‐resolution structural analysis and recombinant reconstitution of the complex, have revolutionized our knowledge about the architecture and function of the γ‐TuRC and will form the basis for addressing outstanding questions about biogenesis and regulation of this essential microtubule organizer. (shrink)

We investigate the expressive power of second-order logic over finite structures, when two limitations are imposed. Let SAA ) be the set of second-order formulas such that the arity of the relation variables is bounded by k and the number of alternations of second-order quantification is bounded by n . We show that this imposes a proper hierarchy on second-order logic, i.e. for every k , n there are problems not definable in AA but definable in AA for some c (...) 1 , d 1 . The method to show this is to introduce the set AUTOSAT of formulas in F which satisfy themselves. We study the complexity of this set for various fragments of second-order loeic. For first-order logic FOL with unbounded alternation of quantifiers AUTOSAT is PSpace complete. For first-order logic FOL n with alternation of quantifiers bounded by n , AUTOSAT is definable in AA . AUTOSAT) is definable in AA for some c 1 , d 1. (shrink)

When the COVID-19 surge hit New York City hospitals, the Division of Medical Ethics at Weill Cornell Medical College, and our affiliated ethics consultation services, faced waves of ethical issues sweeping forward with intensity and urgency. In this article, we describe our experience over an eight-week period (16 March through 10 May 2020), and describe three types of services: clinical ethics consultation (CEC); service practice communications/interventions (SPCI); and organizational ethics advisement (OEA). We tell this narrative through the prism of time, (...) describing the evolution of ethical issues and trends as the pandemic unfolded. We delineate three phases: anticipation and preparation, crisis management, and reflection and adjustment. The first phase focused predominantly on ways to address impending resource shortages and to plan for remote ethics consultation, and CECs focused on code status discussions with surrogates. The second phase was characterized by the dramatic convergence of a rapid increase in the number of critically ill patients, a growing scarcity of resources, and the reassignment/ redeployment of staff outside their specialty areas. The third phase was characterized by the recognition that while the worst of the crisis was waning, its medium- and long-term consequences continued to pose immense challenges. We note that there were times during the crisis that serving in the role of clinical ethics consultant created a sense of dis-ease as novel as the coronavirus itself. In retrospect we learned that our activities far exceeded the familiar terrain of clinical ethics consultation and extended into other spheres of organizational life in novel ways that were unanticipated before this pandemic. To that end, we defined and categorized a middle level of ethics consultation, which we have termed service practice communication intervention (SPCI). This is an underappreciated dimension of the work that ethics consult services are capable of in times of crisis. We believe that the pandemic has revealed the many enduring ways that ethics consultation services can more robustly contribute to the ethical life of their institutions moving forward. (shrink)

Se presentan los resultados de un estudio cuyo objetivo general fue identificar y caracterizar el patron estructural de las prácticas pedagógicas recurrentes en los departamentos de educación de espacios patrimoniales musealizados de la Región Metropolitana de Chile, ejemplo de país con perfil identitario pluricultural. La muestra parte de los 87 museos y organizaciones del Registro Nacional de Museos del gobierno (RMC). Se utilizó un diseño exploratorio secuencial (cuan – CUAL) que incorpora análisis estadísticos descriptivos, fases, criterios e instrumentos del método (...) OEPE. Permitió acotar la muestra a 16 y trasladar sus líneas a la base de datos OEPE. Seguido a esto (fase CUAL), la muestra se sometió a los indicadores de la escala validada Q-Edutage. Finalmente, se realizaron análisis descriptivos para los 5 departamentos educativos cuartil 1. La óptica se sitúa en la correlación de ámbitos y agentes educativos como fenómeno. Los nodos estructurales fueron metodología, tipologías de diseño, estrategias pedagógicas, recursos y cauces de participación e interacción comunicativa en entornos virtuales. De la estructura se infieren los cuatro principios del fenómeno, los cuales se ocupan de (1) la capacitación profesional, (2) los artefactos facilitadores, (3) la tecnología aplicada y (4) los mecanismos favorecedores de la interacción. (shrink)

El objetivo del presente artículo es analizar los presupuestos del escritor, crítico y ensayista español Juan Mas y Pi (1878-1916) sobre la cuestión social del arte. Para ello, me serviré del texto “Arte social”, publicado en 1906 en la revista Germen. Revista popular de sociología, dirigida por Alejandro Sux. Abordaré cuál es el origen, la esencia y la función del arte para que obra, artista y experiencia estética sirvan a la causa del proceso de perfeccionamiento de la Humanidad hacia un (...) futuro libre de cualquier tipo de opresión y sufrimiento. (shrink)

Amyloid-beta peptide plaque in the brain is the primary diagnostic criterion of Alzheimer's disease . The physiological role of Abeta are poorly understood. We have previously determined an Abeta interacting domain in the promoters of AD-associated genes . This AbetaID interacts in a DNA sequence-specific manner with Abeta. We now demonstrate novel Abeta activity as a possible transcription factor. Herein, we detected Abeta-chromatin interaction in cell culture by ChIP assay. We observed that human neuroblastoma cells treated with FITC conjugated Abeta1-40 (...) localized Abeta to the nucleus in the presence of H2O2-mediated oxidative stress. Furthermore, primary rat fetal cerebrocortical cultures were transfected with APP and BACE1 promoter-luciferase fusions, and rat PC12 cultures were transfected with polymorphic APP promoter-CAT fusion clones. Transfected cells were treated with different Abeta peptides and/or H2O2. Abeta treatment of cell cultures produced a DNA sequence-specific response in cells transfected with polymorphic APP clones. Our results suggest the Abeta peptide may regulate its own production through feedback on its precursor protein and BACE1, leading to amyloidogenesis in AD. (shrink)

A is for Alice and astronomers arguing about acceleration -- B is for Bernard's body-exchange machine -- C is for the Catholic cannibal -- D is for Maxwell's demon -- E is for evolution (and an embarrassing problem with it) -- F is for the forms lost forever to the prisoners of the cave -- G is for Galileo's gravitational balls -- H is for Hume's shades -- I is for the identity of indiscernibles -- J is for Henri Poincaré (...) and alternative geometries -- K is for the Kritik and Kant's kind of thought experiments -- L is for Lucretius' spear -- M is for Mach's motionless chain -- N is for Newton's bucket -- O is for Olbers' paradox -- P is for Parfit's person -- Q is for the questions raised by thought experiments quotidiennes -- R is for the rule-ruled room -- S is for Salvatius' ship, sailing along its own space-time line -- T is for the time-travelling twins -- U is for the universe, and Einstein's attempts to understand it -- V is for the vexed case of the violinist -- W is for Wittgenstein's beetle -- X is for xenophanes and thinking by examples -- Y is for counterfactuals and a backwards approach to history -- Z is for Zeno and the mysteries of infinity. (shrink)

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...) *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence. (shrink)